Issue 490
haskellweekly.news·11h
🔗Functional Compilers
Reimagining MCP via gRPC
medium.com·10h·
Discuss: Hacker News, r/golang
⚡gRPC
How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·13h·
Discuss: DEV
🔬Refinement Types
What I learned building a programming language with LLM agents
eddmann.com·6h·
Discuss: Hacker News
🗣️Domain-Specific Languages
The Challenges of Distributed Systems
newsletter.francofernando.com·12h·
Discuss: Hacker News
🤝Distributed Consensus
Generalised Reachability Games Revisited
arxiv.org·19h
🔲Cellular Automata
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·5h·
Discuss: Hacker News
🔗Functional Compilers
GWSC Three Factor Authentication RFC (Draft-GWC-27001-3A)
gwsc-3fa.org·6h·
Discuss: Hacker News
🔐Capability Systems
Yesterday’s talk video posted: Reflection — C++’s decade-defining rocket engine
herbsutter.com·5h·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🦀Rust Borrowing
Efficient evaluation of expressions specified in the GO runtime
reddit.com·16h·
Discuss: r/golang
🔗Functional Compilers
WebSocket Turbo Intruder: Unearthing the WebSocket Goldmine
portswigger.net·1d
🧪Protocol Fuzzing
Cactus Language • Mechanics 1
inquiryintoinquiry.com·5h
📝Concrete Syntax
haskell/mtl
github.com·21h
🔗Functional Compilers
Filter the tools from MCP servers
blog.pamelafox.org·5h·
Discuss: www.blogger.com
⚡Proof Automation
Carbon Copy No.8: Classes Part II
github.com·16h·
Discuss: Hacker News
🎯Gradual Typing
The Ternary Manifesto
homepage.cs.uiowa.edu·1d
📝Concrete Syntax
Spec-Driven Development: The Key to Scalable AI Agents
thenewstack.io·5h
📏Code Metrics
Erlang-Red – Interview with Gerrit Riessen at TADSummit
blog.tadsummit.com·8h·
Discuss: Hacker News
🌊Stream Processing
Language Models Wrestle with Gaps in Understanding
cacm.acm.org·6h
💻Local LLMs
Webcast recap: see + secure everything in your OT environment
runzero.com·1d
🌐Network Security